The Astronomy of Milton's Paradise Lost