Milnor's construction of exotic seven-spheres