Translations of Allen's calculi into modal temporal logic