Force and specific energy in stone cutting by diamond mill