Precisely what is an IPO?