Expander Graphs: Why Number Theorists Might Care About Network Optimization