Machine tools for working stone