Stamp-size mistake costs postal service $3.5 million