Tanaka formula for the fractional Brownian motion