Erlang library for conversion from one local time to another