Non-square matrix sensing without spurious local minima via the Burer-Monteiro approach