TypeT5: Seq2seq Type Inference using Static Analysis