High frequency real business cycles