High-pressure structural, elastic, and thermodynamic properties of zircon-type HoPO4 and TmPO4