Official Size Football, American Football, Professional