Bitcoin miners start powering down to help stabilize Texas’ power grid