如何在Python中高精度地测量时间?