Lasers: a versatile tool for precision machining