Strategy-proof aggregation rules and single peakedness in bounded distributive lattices