ORIO -- An Annotation-Based Performance Tuning Tool