Olsen formally announces congressional run at democratic rally