Automating Just-In-Time Python Type Annotation Updating