Well-posedness of formulations of the Einstein equations with dynamical lapse and shift conditions