Duality Theory for Interval-Valued Programming