Regularity theory for the moving contact line