Twitter files for an IPO: Here are all the important details