Selection of press tools for punching operations