Analysis on the Types and Translation Procedures of English Metaphors into Indonesian in