GM Jerry Dipoto receives extension from Mariners