Observability of Boolean control networks