Construct a grammar that generates the following language:

L = (a^n*b^(n+m)*a^m | n, m = 0, 1, 2, ...)