Quorum Systems: With Applications to Storage and Consensus