Mixed Ehrhart polynomials