An algebraic attack to the Bluetooth stream cipher E0