4 billion years until andromeda galaxy collides