How is 4o-mini served to so many users?