palo alto population