Faith Kipyegon falls short in bid for sub-four-minute mile