pyspark dataframe type annotation