Large Banking Systems with Default and Recovery: A Mean Field Game Model