Visiting a Disney Park? How to Spend Less Time in Line.