What diameter mills are people using for say pocketing, cutting out and carving/profiling?