Efficient Channel Estimation for Double-IRS Aided Multi-User MIMO System