Shuffling principals can sometimes improve overall school district effectiveness