European shares edge higher as miners offset tech weakness