Deep learning enables de novo peptide sequencing from data-independent acquisition mass spectrometry