Optimal Exercise of the Over-Allotment Option in IPOs