Cho các số thực không âm x, y, z thỏa mãn 4x2+y2+4z2≤6y. Tìm giá trị nhỏ nhất của biểu thức M=8x+32+16y+42+1z+12+2023.