Carleman estimates and null controllability for boundary-degenerate parabolic operators