15-year-old becomes youngest to run sub-4-minute mile