Efficient First-order Methods for Convex Optimization with Strongly Convex Function Constraints