Galerkin finite element methods for semilinear elliptic differential inclusions