Hierarchy of coupled mode and envelope models for bi-directional microresonators with Kerr nonlinearity