Formality of derived intersections and the orbifold HKR isomorphism