Type I Superstring Theory