(1×1) rippled relaxation of (100) transition-metal carbide surfaces