Condo insurance and co-op insurance: who’s covered?