Magnetospectroscopy of LaF3:Dy3+ with an optically pumped far-infrared laser