Top London family theatre picks for October half term