Explica cuáles son los servicios de redsa como entidad gestora de muchas de las prestaciones sanitarias de las aseguradoras de salud, mediante la automatización, a través de la plataforma Sanired, de las prestaciones médicas y los conceptos de facturación: autorizaciones y validaciones, consultas y especialistas, laboratorios, facturación, pruebas diagnósticas, radiología, ambulancias, rehabilitación, pólizas deportivas y seguros escolares, prescripción electrónica. Detalla las características de la plataforma.