Type IIB superstring theory