Variational extensions of BCS theory