“What is the processing speed of the Intel Core i5 that comes with this model? Is it 3.1GHz or faster? Also does it have Turbo Boost, and if so up to what speed?”