An Efficient Incremental Simple Temporal Network Data Structure for Temporal Planning