Mars rover to be named after DNA pioneer Rosalind Franklin, European Space Agency announces