Variational methods and positive energy in general relativity