What F1's moving-under-braking rule actually says, and why it's complicated