De acuerdo con el Real Decreto-Ley 6/2023, ¿con qué nombre se conoce el conjunto ordenado de datos, documentos, trámites y actuaciones electrónicas, así como de grabaciones audiovisuales, correspondientes a un procedimiento judicial, cualquiera que sea el tipo de información que contengan y el formato en el que se hayan generado?