Compact composition operators on BMOA