Prosody, Speech Processing, Machine Translation and Post-editing