How ownership of Twitter was initially divvied up