nfl playoff odds: How models and markets identify playoff favorites