A Consistent and Fault-Tolerant Network Information Base for Software Defined Networks