how to use type hints in python