Theoretical studies of the system H3O+(H2O)n for n = 1, 9