PIQED: automated identification and quantification of protein modifications from DIA-MS data