Computation-Efficient Semi-Supervised Learning for ECG-based Cardiovascular Diseases Detection