Computational modeling of discharge of a lithium battery with a microporous carbon electrode