translate documentation

Translate the documentation into English.