A mathematical programming algorithm for planning and scheduling an Earth observing SAR constellation