The long, complicated history of lines at Disney theme parks