First-order necessary conditions of optimality for the optimal control of two-dimensional convective Brinkman–Forchheimer equations with state constraints. (9th December 2022)