Techniques for mitigation of radio frequency interference in radio astronomy