Grubhub exploring its strategic options: WSJ