Type I string theory