Transformer-based Models for Long-Form Document Matching: Challenges and Empirical Analysis F i n d i n g s - E A C L