Stabilization of Discrete-time Bilinear Descriptor Systems