Cutting, shaping and finishing of stone