Text this: Massive bigravity as a presymplectic BV-AKSZ sigma-model