Algebraic Shifting and f-Vector Theory