Manufacturing of micro end mills by batch processing of silicon carbide