to drill (in a military or disciplined context)