Probabilistic Model and Solution Algorithm for the Electricity Retailers in the Italian Market