How to determine the number of physical CPUs on Linux