Theoretical models for effective electrical and electrochemical properties of nano-particle infiltrated electrode of solid oxide fuel cell