When an acidic solution is diluted, what happens to its pH?