3D dynamics of 4D topological BF theory with boundary