Type I superstring theory