The Optimal Design of Accelerated Life Tests for Lognormal Distribution under Progressive Type-I Interval Censoring with Random Removals