Modifica diversos cuerpos legales para sancionar la violencia contra trabajadores de la salud, ejercida durante o con ocasión del ejercicio de sus funciones