Theoretical and experimental investigation of material removal in semi-rigid bonnet polishing of binderless tungsten carbide