Mordell-Lang in positive characteristic