Shimura varieties at level and Galois representations