Alagomeji’s Beans Palace: The family-run diner that has fed Lagos tech ecosystem even before its boom