More bibliography and removing of section 3

We no longer have a models section. I moved that paragraph to the
beginning of our new "extended models" section. I also added some more
bibliography and discussion to our optimal subgraphs section, but we
should still try to chat with the oracle later this week.