Can a woman run a 4-minute mile?