Analysis and Control of Boolean Networks: A Semi-tensor Product Approach