Historical sources on painting techniques and materials