A hybrid exact approach for maximizing lifetime in sensor networks with complete and partial coverage constraints