EP3139380B1 - Encoder, Decoder, Coding Method, Decoding Method, Coding Program, Decoding Program and Recording Medium