Reflected BSDEs, optimal control and stopping for infinite-dimensional systems