An Unusual Variational Problem Connected with Mather’s Theory for Monotone Twist Mappings