A proximal linearized algorithm for dual quaternion optimization with applications in hand-eye calibration