Profile-grinding machines