Added prooofs for EDD and SJF and made some minor edits.