Firefox will get DRM copy protection despite Mozilla's concerns