Python: binary-substring