[python] How to find out the number of CPUs using python