PHP: Convert seconds to hours:minutes:seconds.