Improved PVTCoord version of convertFrom so that taiDate is explicitly the date
at which the conversion is performed (avoiding a pitfall of last night's patch,
which made that assumption without enforcing it),
and simplified the code by using an anonymous inline function.
Added a unit test for nonzero velocity.