Cutting force in stone machining by diamond disk