Development of an automatic robotic procedure for machining of skull prosthesis