Dark matter: Astronomical aspects