International Olympic Committee formally protects lesbian, gay and bisexual people from discrimination