Python Read Integer From Binary File