Mod ℓ representations of arithmetic fundamental groups, I: An analog of Serre's conjecture for function fields