Analysis and finite element approximations of stochastic optimal control problems constrained by stochastic elliptic partial differential equations