Reverse time migration of transmitted wavefields for salt boundary imaging