Stir-fried pork ribs in mandarin sauce