Using Cadabra for tensor computations in General Relativity