Molecular modeling of docking of Gβγ (left, center) and Gα (right) onto the GIRK1 heterotetrameric channel