A review on cutting of industrial ceramic materials