Linear programming-based optimization of the distance spectrum of linear block codes