Ultrasonic pulse velocity as a way of improving uniaxial compressive strength estimations from Leeb hardness measurements