Variational Methods for the steady Boltzmann equation for semiconductors