String theory dimensions