operating profit margin definition