Ehrenfest paradox: the circumference of a relativistic rotating disk is <2πr