Variational and topological methods in partially ordered Hilbert spaces