Planning with Numeric Timed Initial Fluents