Our Devils Now Are Ended: A Comparative Analysis of "The Tempest" and "Doctor Faustus"