Multi-sensor scheduling for remote state estimation over wireless MIMO fading channels with semantic over-the-air aggregation