Optimal Scheduling for Asymmetric Multi-core Server Processors