Construction of elliptic cohomology, following Jacob Lurie