Minor changes of numbers and style