Transformer-based de novo peptide sequencing for data-independent acquisition mass spectrometry