A structural analysis of the A5/1 state transition graph