Operational Modal Analysis with Compressed Measurements Based on Prior Information