Gravar-mail: Finite momentum Cooper pairing in three-dimensional topological insulator Josephson junctions