Structures of ErPO4, TmPO4, and YbPO4