Millions of Android smartphone users in Venezuela received a warning in the moments before a powerful double earthquake hit.