Arens regularity and local reflexivity principle for Banach algebras