Space-Efficient Data Structures, Streams, and Algorithms