Stone Cutting and Polishing: a review of research trends and technical achievements of a long-history industry