Nationals manager Martinez has heart procedure