Minimal observability of Boolean control networks