GrubHub IPO filing: 5 takeaways