A three-dimensional Keller–Segel–Navier–Stokes system with logistic source: Global weak solutions and asymptotic stabilization