SeqFAL: A Federated Active Learning Framework for Private and Efficient Labeling of Security Requirements | Synapse