TAMM: Tensor Algebra for Many-body Methods